Modeling task systems using parameterized partial orders

Modeling country risk ratings using partial orders

In order to evaluate the creditworthiness of various countries, a learning model is induced from the 1998 S&P country risk ratings, using the 1998 values of nine economic and three political indicators. This learning model allows the construction of a partially ordered set describing the relative superiority of countries on the basis of their creditworthiness, and it is shown that the Condorcet...

Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics

Using Partial-Orders for Detecting Faults in Concurrent Systems

The paper suggests test derivation approaches to obtain test suites for concurrent systems based on the concept of fault coverage criteria in opposition to structural test coverage criteria. Using a partial-order model, called Mazurkiewicz Trace Machine (MTM), for test derivation, the state explosion problem can be alleviated. The derived test suites are characterized by their small size compar...

Proving Linearizability Using Partial Orders

Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization — a linear order on operations satisfying the data structure’s sequential specification. Proving linearizability is often challenging because an operation’s position in the linearization order may depend on future ope...

Runs of Distributed Systems and Partial Orders

Twenty-five years ago, one recognized that dynamic behaviors of computer systems distributed on a network can be nicely captured and modeled by discrete partial orders. This paper recalls the main interactions between the two scientific domains, distributed systems and partial orders. This is done for three subjects: 1/ on-the-fly coding of the message causality, 2/ abstraction, and 3/ on-line ...